a constraint must be a conditional expression